From 496481235c0e55b190ae7f5d3f562318f8d90751 Mon Sep 17 00:00:00 2001 From: "awilliam@xenbuild.aw" Date: Mon, 31 Jul 2006 10:09:15 -0600 Subject: [PATCH] [IA64] boot windows server 2003: rfi to bank0 Windows may rfi to bank0 Signed-off-by: Anthony Xu --- xen/arch/ia64/vmx/vmx_vcpu.c | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/xen/arch/ia64/vmx/vmx_vcpu.c b/xen/arch/ia64/vmx/vmx_vcpu.c index ac11c6e75d..15e0053b4d 100644 --- a/xen/arch/ia64/vmx/vmx_vcpu.c +++ b/xen/arch/ia64/vmx/vmx_vcpu.c @@ -272,7 +272,10 @@ IA64FAULT vmx_vcpu_rfi(VCPU *vcpu) UINT64 ifs, psr; REGS *regs = vcpu_regs(vcpu); psr = VCPU(vcpu,ipsr); - vcpu_bsw1(vcpu); + if (psr & IA64_PSR_BN) + vcpu_bsw1(vcpu); + else + vcpu_bsw0(vcpu); vmx_vcpu_set_psr(vcpu,psr); ifs=VCPU(vcpu,ifs); if(ifs>>63) -- 2.30.2